deadlock graph analysis